Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance

As discussed in previous papers, belie] conte.~a are a powerful ud appropriate formalism for the representation and implementation of propositional attitudes in a multiagent environment, In this paper we show that a formalization using belief contexts is also elaboration tolerant. That is, it is able to cope with minor changes to input problems without major revisions. Elaboration tolerance is a vital property for building situated agents: it allows for adapting and re-uling a previous problem representation in different (but related) situations, rather than building a new representation from scratch. We substantiate our claims by discussing a number of variations to a paradigmatic case study, the Three Wise Men problem.